#ifndef HSL_SAT_SOLVER_H
#define HSL_SAT_SOLVER_H

#include "minisat/core/Solver.h"

class HSLSolver: public Minisat::Solver {
public:
    void hslSolve(); 
private:
    //RootHeuristic h;
};

#endif
